| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| all.bat | DOS Batch File | 125 | 4KB | 1993-07-29 |
| doit.bat | DOS Batch File | 12 | 540b | 1993-07-29 |
| header1 | Text File | 2 | 57b | 1993-07-29 |
| header2 | Text File | 3 | 124b | 1993-07-29 |
| readme | Text File | 16 | 658b | 1993-07-22 |
| Executable | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| make_bat.exe | MS-DOS/Windows Executable | 10KB | 1993-07-22 | |